This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. ...
Lire la suiteThe book addressed span a wide range of problems and solutions associated with the teaching of programming such as introductory ...
Lire la suiteAn understanding of the techniques used to make distributed computing systems and networks reliable, fault-tolerant and secure ...
Lire la suiteThis book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Lire la suiteThis book is organized in thematic sections on fitness of RE, requirements elicitation, industrial experience of RE, innovative ...
Lire la suiteThis State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
Lire la suiteYou'll learn the basic foundation of Ubuntu Linux. Begin with the fundamentals. Installation and useful commands will give ...
Lire la suiteThis book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic ...
Lire la suiteThe subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...
Lire la suiteSQL Server 2008 Transact–SQL Recipes: A Problem–Solution Approach is an example–based guide to the Transact–SQL language ...
Lire la suiteThis book is organized in topical sections on database security, trust management, privacy protection, and security and privacy ...
Lire la suiteThe present volume arose from the need for a comprehensive coverage of the state of the art in security protocol analysis. ...
Lire la suiteConstitutes the proceedings of the 7th International Symposium on Self-Stabilizing Systems, held in Barcelona, Spain, in ...
Lire la suiteS3 is a forum for discussion of topics relating to computer systems and languages that are able to bootstrap, implement, ...
Lire la suiteProgram Chairs’ Message th The 4 International Service Availability Symposium (ISAS 2007) continued with the tradition ...
Lire la suiteSharePoint 2007 Development Recipes offers a range of ready–to–use code recipes that provide the building blocks for ...
Lire la suiteThis book is geared towards any Unix user who doesn't want to spend time creating or testing shell scripts. Instead, Shell ...
Lire la suiteIt combines instruction on concepts with real-world applications so that students can understand the practical usage of the ...
Lire la suiteSilverlight is a lightweight browser plug–in that frees your code from the traditional confines of the browser. It is a ...
Lire la suite